Quantifying conformance using the Skorokhod metric
نویسندگان
چکیده
منابع مشابه
Quantifying Conformance Using the Skorokhod Metric
The conformance testing problem for dynamical systems asks, given two dynamical models (e.g., as Simulink diagrams), whether their behaviors are “close” to each other. In the semi-formal approach to conformance testing, the two systems are simulated on a large set of tests, and a metric, defined on pairs of realvalued, real-timed trajectories, is used to determine a lower bound on the distance....
متن کاملQuantifying Conformance using the Skorokhod Metric (full version)
The conformance testing problem for dynamical systems asks, given two dynamical models (e.g., as Simulink diagrams), whether their behaviors are “close” to each other. In the semi-formal approach to conformance testing, the two systems are simulated on a large set of tests, and a metric, defined on pairs of real-valued, real-timed trajectories, is used to determine a lower bound on the distance...
متن کاملThe missing metric: quantifying contributions of reviewers
The number of contributing reviewers often outnumbers the authors of publications. This has led to apathy towards reviewing and the conclusion that the peer-review system is broken. Given the trade-offs between submitting and reviewing manuscripts, reviewers and authors naturally want visibility for their efforts. While study after study has called for revolutionizing publication practices, the...
متن کاملOn the Skorokhod topology
Let E be a completely regular topological space. Mitoma [9 ], extending the classical case E = R 1, has recently introduced the Skorokhod topology on the space D( [0, 1 ] : E). This topology is investigated in detail. We find families of continuous functions which generate the topology, examine the structure of the Borel and Baire a-algebras of D( [0, 1 ] : E) and prove tightness criteria for E...
متن کاملA deterministic approach to the Skorokhod problem
Abstract: We prove an existence and uniqueness result for the solutions to the Skorokhod problem on uniformly prox-regular sets through a deterministic approach. This result can be applied in order to investigate some regularity properties of the value function for differential games with reflection on the boundary.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Methods in System Design
سال: 2017
ISSN: 0925-9856,1572-8102
DOI: 10.1007/s10703-016-0261-8